Knihy od autora Osman Hasan

Zobrazeno 1 – 4 z 4 výsledků

1. 

   Intelligent Computer Mathematics

   Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
2. 

   Probabilistic Analysis using Theorem Proving

   Osman Hasan | VDM Verlag Dr. Mueller E.K., 2008

   
   

   Skladem u dodavatele - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1632 Kč

   Koupit
3. 

   Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

   Nabil Bastaki, Falah Awwad, Osman Hasan | Springer Nature Switzerland AG, 2021

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1535 Kč

   Koupit
4. 

   Formal Techniques for Safety-Critical Systems

   Osman Hasan, Frédéric Mallet | Springer, Berlin, 2020

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit

Nejpopulárnější internetové knihkupectví. Zjistěte více